Fair Testing

In this paper we present a solution to the long-standing problem of characterising the coarsest liveness-preserving pre-congruence with respect to a full (TCSP-inspired) process algebra. In fact, we present two distinct characterisations, which give rise to the same relation: an operational one based on a De Nicola-Hennessy-like testing modality which we call should-testing, and a denotational one based on a refined notion of failures. One of the distinguishing characteristics of the should-testing pre-congruence is that it abstracts from divergences in the same way as Milner¿s observation congruence, and as a consequence is strictly coarser than observation congruence. In other words, should-testing has a built-in fairness assumption. This is in itself a property long sought-after; it is in notable contrast to the well-known must-testing of De Nicola and Hennessy (denotationally characterised by a combination of failures and divergences), which treats divergence as catrastrophic and hence is incompatible with observation congruence. Due to these characteristics, should-testing supports modular reasoning and allows to use the proof techniques of observation congruence, but also supports additional laws and techniques. Moreover, we show decidability of should-testing (on the basis of the denotational characterisation). Finally, we demonstrate its advantages by the application to a number of examples, including a scheduling problem, a version of the Alternating Bit-protocol, and fair lossy communication channel

Cornering characteristics of the nose-gear tire of the space shuttle orbiter

An experimental investigation was conducted to evaluate cornering characteristics of the 32 x 8.8 nose gear tire of the space shuttle orbiter. Data were obtained on a dry concrete runway at nominal ground speeds ranging from 50 to 100 knots and over a range of tire vertical loads and yaw angles which span the expected envelope of loads and yaw angles to be encountered during space shuttle landing operations. The cornering characteristics investigated included side and drag forces and friction coefficients, aligning and overturning torques, friction force moment arm, and the lateral center of pressure shift. Results of this investigation indicate that the cornering characteristics of the space shuttle nose gear tire are insensitive to variations in ground speed over the range tested. The effects on cornering characteristics of variations in the tire vertical load and yaw angle are as expected. Trends observed are consistent with trends observed during previous cornering tests involving other tire sizes

Low-Speed Aerodynamic Characteristics of a Fuselage Model with Various Arrangements of Elongated Lift Jets

Data were obtained for a round jet located on the center of the bottom of a fuselage and for elongated slots separated spanwise by distances of 0.8 and 1.2 of the fuselage width. The effect of yawing the slots, inclining the jets laterally, and combining slot yaw with jet inclination was determined. Data were obtained in and out of ground effect through a range of effective velocity ratios and through a range of sideslip angles

Mitochondrial metagenomics: letting the genes out of the bottle

‘Mitochondrial metagenomics’ (MMG) is a methodology for shotgun sequencing of total DNA from specimen mixtures and subsequent bioinformatic extraction of mitochondrial sequences. The approach can be applied to phylogenetic analysis of taxonomically selected taxa, as an economical alternative to mitogenome sequencing from individual species, or to environmental samples of mixed specimens, such as from mass trapping of invertebrates. The routine generation of mitochondrial genome sequences has great potential both for systematics and community phylogenetics. Mapping of reads from low-coverage shotgun sequencing of environmental samples also makes it possible to obtain data on spatial and temporal turnover in whole-community phylogenetic and species composition, even in complex ecosystems where species-level taxonomy and biodiversity patterns are poorly known. In addition, read mapping can produce information on species biomass, and potentially allows quantification of within-species genetic variation. The success of MMG relies on the formation of numerous mitochondrial genome contigs, achievable with standard genome assemblers, but various challenges for the efficiency of assembly remain, particularly in the face of variable relative species abundance and intra-specific genetic variation. Nevertheless, several studies have demonstrated the power of mitogenomes from MMG for accurate phylogenetic placement, evolutionary analysis of species traits, biodiversity discovery and the establishment of species distribution patterns; it offers a promising avenue for unifying the ecological and evolutionary understanding of species diversity